When thermal interrupt happened when vmx guest is running,
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 22 Feb 2006 08:54:20 +0000 (09:54 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 22 Feb 2006 08:54:20 +0000 (09:54 +0100)
commitacd1abe9f93c8148f6c53a9e6a0a939843a1dbd3
tree216abfb342454e777747abad9fc0a771c2d1841f
parentac6fac6bdc2ed07c6f00618030d0a0ed576e0988
When thermal interrupt happened when vmx guest is running,
smp_thermal_interrupt() should be called.

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
xen/arch/x86/hvm/vmx/vmx.c